]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c61e1e5) | patch
theme: Scale media player button padding with font size
authorSebastian Keller <skeller@gnome.org>
Thu, 4 Feb 2021 01:22:22 +0000 (02:22 +0100)
committerMarge Bot <marge-bot@gnome.org>
Thu, 4 Feb 2021 22:42:08 +0000 (22:42 +0000)
commit0f46a1d650de71967dcf1591c145fc760014e8a0
tree6420a0f92584fe29b665b841973820499f2753e0tree | snapshot
parentc61e1e5c2c6fb86b53c2eb7509d2599b50b083d5commit | diff
theme: Scale media player button padding with font size

The total width of the MediaMessage scales with the font size, but the
padding of the media player buttons do not, which can become an issue
with text-scaling-factor < 1.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3664

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1632>
data/theme/gnome-shell-sass/widgets/_message-list.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.